61. Advanced topics in types and programming languages
Author: / Benjamin C. Pierce, editor
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers)
Classification :
QA76
.
7
.
A36
2005
62. Advanced topics in types and programming languages /
Author: / Edited by Benjamin C. Pierce
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers)
Classification :
QA
76
.
7
.
A36
2005
63. Advanced topics in types and programming languages
Author: Benjamin C. Pierce, editor
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
A36
64. Advanced topics in types and programming languages
Author: Benjamin C. Pierce, editor
Library: Central Library and Documentation Center (Kerman)
Subject: ، Programming languages )Electronic computers(
Classification :
QA
76
.
7
.
A36
2005
65. Advanced topics in types and programming languages
Author: / edited by Benjamin C. Pierce,
Library: Ilam University Central Library (Ilam)
Subject: Programming languages (Electronic computers)
Classification :
QA76
.
7
.
A36
2005
66. Advanced topics in types and programming languages
Author: / Benjamin C. Pierce, editor
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)
Classification :
QA
,
76
.
7
,.
A36
,
2005
67. Advances in Database Technology - EDBT '94 :
Author: edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
Classification :
QA76
.
9
.
D3
E358
1994
68. Advances in computer-aided manufacture : proceedings of the 3rd International IFIP/IFAC Conference on Programming Languages for Machine Tools, PROLAMAT 76, Stirling, Scotland, 15-18 June, 1976
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine-tools-- Numerical control-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
TJ
1189
.
I56
1976
69. Advances in computer science--ASIAN 2004 : higher-level decision making : 9 th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
Author: Michael J. Maher )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
Classification :
QA
76
.
L28
Vol
.
3321
70. Advances in computing science--ASIAN 2003
Author: / Vijay A. Saraswat, ed
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Congresses,Programming languages (Electronic computers)--Congresses,Electronic data processing--Congresses
Classification :
QA
,
75
.
5
,.
A735
,
2003
71. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings
Author: Vijay A. Saraswat, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
Classification :
QA
76
.
L28
Vol
.
2896
72. Algebraic Informatics
Author: \ Andreas Maletti (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
Classification :
QA
76
.
76
.
A55
2015
E-Book
,
73. Algebraic approaches to program semantics
Author: / Ernest G. Manes, Michael A. Arbib
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics,Algebra
Classification :
QA
76
.
7
.
M34
1986
74. Algebraic approaches to program semantics
Author: Manes, Ernest G.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Algebra
Classification :
QA
76
.
7
.
M34
1986
75. Algebraic approaches to program semantics
Author: Ernest G. Manes, Michael A. Arbib
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Algebra
Classification :
QA
76
.
7
.
M34
1986
76. Algebraic informatics :
Author: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
Classification :
QA76
.
7
77. Algebraic informatics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ; Semantics ; Congresses. ;
78. Algebric theory of processes
Author: Matthew Hennessy
Library: (Kerman)
Subject: Mathematics ، Electronic data processing,، Programming languages )Electronic computers( - Semantics,، Algebra, Abstract
Classification :
QA
76
.
9
.
M35
H46
1988
79. Algol
Author: Algol
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، ALGOL )Computer program language(,، Programming languages )Electronic computers(
Classification :
QA
76
.
73
.
A24
I57
80. Algorithmic language and program development
Author: F.L. Bauer, H. Wossner; in coll. with H. Partsch and P. Pepper
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
B39
1982
